free semi-group

自由半群